1. An introduction to formal specification and Z
Author: Potter, Ben
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Computer software -- Development,، Z )Computer program language(
Classification :
QA
76
.
76
.
D47
P68


2. An introduction to formal specification and Z
Author: Potter, Ben.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer software - Development , Z )Computer program language(
Classification :
QA
76
.
76
.
D47
P68
1990


3. An introduction to formal specification and Z
Author: Ben Potter, Jane Sinclair, David Till
Library: Library of Institute of Geophysics University of Tehran (Tehran)
Subject: Computer software - Geotools,Z )Computer program language(
Classification :
QA
76
.
76
.
D47


4. An introduction to formal specification and Z
Author: Potter, Ben.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Development ، Computer software,، Z )Computer program language(
Classification :
QA
76
.
76
.
D47
P68
1991


5. An introduction to formal specification and Z
Author: / Ben Potter, John Sinclair and David Till
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer software--Development.,Z (Computer program language)
Classification :
QA
76
.
76
.
D47P68
1996

